Gradual Typing for Delimited Continuations Yusuke Miyazaki Taro Sekiyama ∗ Atsushi Igarashi

Source URL: www.fos.kuis.kyoto-u.ac.jp

Automating Gradual Typing Timothy Jones Victoria University of Wellington 1.

Source URL: homepages.ecs.vuw.ac.nz

Gradual typing Space efficiency Monotonic objects Gradual Typing with Efficient Object Casts Michael M. Vitousek

Source URL: homes.soic.indiana.edu

Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Data types
• Procedural programming languages
• C++
• Lambda calculus
• Type system
• Type safety
• Gradual typing
• ALGOL 68

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, and Jim Baker* Indiana University Bloomington *Rackspace, Inc

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Data types
• Object
• Functional programming
• Immutable object
• Reference
• Objective-C
• Pointer
• Immutable interface

The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA

Source URL: homepages.inf.ed.ac.uk

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Models of computation
• Lambda calculus
• Computability theory
• Valuation
• Denotational semantics
• Combinatory logic
• Holomorphic functional calculus

Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Object-oriented programming languages
• Scripting languages
• Object-oriented programming
• Gradual typing
• Type system
• Type safety
• ActionScript

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc.

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• Subroutines
• Functional programming
• Lambda calculus
• Type system
• Gradual typing
• Anonymous function
• Type safety

Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Subroutines
• Data types
• Functional programming
• Type theory
• Parameter
• Type system
• Higher-order function
• Pointer

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Indiana University Bloomington

Source URL: homes.soic.indiana.edu

• Type theory
• Object-oriented programming languages
• Type systems
• Cross-platform software
• High-level programming languages
• Gradual typing
• D
• Python syntax and semantics
• Duck typing